Statistical syllogism